/*
 * This is an example model for a new 2APL project
 */
BeliefUpdates:
	{true} DoPushup(S, X) { not count(S), count(S+X) }
Beliefs:
	count(0).
Goals:
	pushup(10)
PG-rules:
	pushup(T) <- not count(T) | {
		//[B(count(R));
		@emarket(registerRequest(itemName, buyer),_)
		//DoPushup(R, 1)]
	}
